Pierre Castéran (u. A.) | Interactive Theorem Proving And Program

Interactive Theorem Proving And Program Development | Pierre Castéran

Interactive Theorem Proving And Program Development Coq'art: The

Interactive Theorem Proving and Program Development, Fachbücher

Xingyuan Zhang (u. A.) | Interactive Theorem Proving | Taschenbuch |

Ruben Gamboa (u. A.) | Interactive Theorem Proving | Taschenbuch |

César A. Muñoz (u. A.) | Interactive Theorem Proving | Taschenbuch |

Florian Kammüller | Interactive Theorem Proving In Software

Interactive Theorem Proving 8th International Conference, Itp 2017,

Stefan Berghofer (u. A.) | Theorem Proving In Higher Order Logics |

A Combination Of Geometry Theorem Proving And Nonstandard Analysis

Yunshan Zhu (u. A.) | The Efficiency Of Theorem Proving Strategies |

Automated Theorem Proving Theory And Practice 2333

Interactive Theorem Proving, Fachbücher von Mauricio Ayala-Rincón, César A. Muñoz

Current Trends In Hardware Verification And Automated Theorem Proving

Theorem Proving With The Real Numbers 1914